<?xml version='1.0'?>

<gl_extension name="GL_SGI_color_matrix" reg_no="13">
	<tokens>
		<token name="GL_COLOR_MATRIX_SGI" value="0x80B1"/>
		<token name="GL_COLOR_MATRIX_STACK_DEPTH_SGI" value="0x80B2"/>
		<token name="GL_MAX_COLOR_MATRIX_STACK_DEPTH_SGI" value="0x80B3"/>
		<token name="GL_POST_COLOR_MATRIX_RED_SCALE_SGI" value="0x80B4"/>
		<token name="GL_POST_COLOR_MATRIX_GREEN_SCALE_SGI" value="0x80B5"/>
		<token name="GL_POST_COLOR_MATRIX_BLUE_SCALE_SGI" value="0x80B6"/>
		<token name="GL_POST_COLOR_MATRIX_ALPHA_SCALE_SGI" value="0x80B7"/>
		<token name="GL_POST_COLOR_MATRIX_RED_BIAS_SGI" value="0x80B8"/>
		<token name="GL_POST_COLOR_MATRIX_GREEN_BIAS_SGI" value="0x80B9"/>
		<token name="GL_POST_COLOR_MATRIX_BLUE_BIAS_SGI" value="0x80BA"/>
		<token name="GL_POST_COLOR_MATRIX_ALPHA_BIAS_SGI" value="0x80BB"/>
	</tokens>
</gl_extension>
